Formal Model for Intelligent Route Planning
نویسندگان
چکیده
منابع مشابه
A Formal Model of Planning for Concurrency
While classical planning is still mostly concerned with sequential plans, numerous realistic domains are inherently concurrent. Especially planning for multi-agent systems necessitates a clear formal concept of plans in such domains. This paper presents a basic semantic model for concurrent plans using actions with arbitrary effects over time and shared accesses to resources. Two complementary ...
متن کاملA Formal Model for Classical Planning
In this paper, we describe a formal semantic model that applies to many "classical" planning systems. This gives a unifying framework in which to study diverse planners, and motivates formal logics that can be used to study their properties. As an example of the model's util ity, we present a general truth criterion which tests for the necessary truth of a proposition at arbitrary points in th...
متن کاملDesign of An Intelligent Model for Strategic Planning in Mineral Holding: Case study, Shahab-Sang Holding
Business logic is one of the most important logics based on the decision matrix. However, using this logic alone and environmental uncertainty leads to problems such as low accuracy and integrity in strategic planning. In this work, we use an intelligent model based on the neural-fuzzy approach aiming at a desired decision-making and reducing the uncertainty in the strategic planning in mineral...
متن کاملEfficient Route Compression for Hybrid Route Planning
We describe an algorithmic framework for lossless compression of route descriptions. This is useful for hybrid route planning where routes are computed by a server and then transmitted to a client device in a car using some mobile radio communication where bandwidth may be low. Compressed routes are represented by only a few via nodes which are the connection points when the route is decomposed...
متن کاملA Formal Tutoring Process Model for Intelligent Tutoring Systems
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. A common agreement has been reached about the constituents of an Intelligent Tutoring System (ITS). Nonetheless, the interpretation of the role of each component in the ITS is still heterogeneous. Together with the abs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2015
ISSN: 1877-0509
DOI: 10.1016/j.procs.2015.08.196